Mechanical theorem proving
[计] 机器证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
It's over.
结束了。
Did you wash this yourself?
你自己亲自洗了这个？
I see. Maybe there are some things among your aunt's papers, like Clare' school reports, old photographs, and so on.
我明白了。或许，在你伯母的文件中可能有些诸如克莱尔的学校成绩报告单、旧的照片之类的东西吧。